increase timeout in MySQL Workbench